A Reduction Approach to Decision Procedures
نویسندگان
چکیده
We present an approach for designing decision procedures based on the reduction of complex theories to simpler ones. Specifically, we define reduction functions as a tool for reducing the satisfiability problem of a complex theory to the satisfiability problem of a simpler one. Reduction functions allow us to reduce the theory of lists to the theory of constructors, the theory of arrays to the theory of equality, the theory of sets to the theory of equality, and the theory of multisets to the theory of integers. Finally, we provide a method for combining reduction functions. This method allows us to reduce the satisfiability problem of a combination of complex theories to the combination of simpler ones.
منابع مشابه
A New Approach for Knowledge Based Systems Reduction using Rough Sets Theory (RESEARCH NOTE)
Problem of knowledge analysis for decision support system is the most difficult task of information systems. This paper presents a new approach based on notions of mathematical theory of Rough Sets to solve this problem. Using these concepts a systematic approach has been developed to reduce the size of decision database and extract reduced rules set from vague and uncertain data. The method ha...
متن کاملFuzzy multi-criteria selection procedures in choosing data source
Technology assessment and selection has a substantial impact on organizations procedures in regards to technology transfer. Technological decisions are usually made by a group of experts, and whereby integrity of these viewpoints to a single decision can be quite complex. Today, operational databases and data warehouses exist to manage and organize data with specific features and henceforth, th...
متن کاملP-221: Decision for Disclosure: The Experiences of Infertile Women Undergoing Assisted Reproductive Donation Procedures
Background: Controversy surrounding disclosure among the recipients of assisted reproductive donation procedures is escalating worldwide, whereas little research has been conducted in this area .The purpose of this qualitative study was to explore the experiences of infertile women undergoing assisted reproductive donation procedures in relation to their decision for disclosure. Materials and M...
متن کاملThe Applying ISM/FANP Approach for Appropriate Location Selection of Health Centers
The main purpose of this paper is to present a fuzzy multi-criteria decision making (FMADM) model for appropriate location selection of a health center. Therefore, we identify sixteen criteria and sub-criteria for selecting a health center location. These criteria and sub-criteria have been obtained from literature reviews and practical interviews. This paper proposes a method which combines th...
متن کاملInvestigating the Effect of Rewards on Individual Players' Efforts: A Behavioral Approach
The main goal of the study is to examine the effect of rewards on the behavior of players in a team activity. In this framework, by performing 12 sequential and simultaneous games in a laboratory environment examine the rewarding effect on players' behavior. Students from Yazd universities surveyed and the sample of 182 students is in the form of two groups, which collected in total for 2184 ma...
متن کامل